type t (= boxed)
